(set-logic QF_AUFLIRA)
(declare-const v6 Bool)
(declare-const v7 Bool)
(declare-const v8 Bool)
(declare-const v9 Bool)
(declare-const v11 Bool)
(declare-const v16 Bool)
(declare-const i1 Int)
(declare-const i4 Int)
(declare-const i7 Int)
(declare-const i8 Int)
(declare-const r0 Real)
(declare-const v18 Bool)
(declare-const arr--7066024411894168759_-6820387004893886517-0 (Array Bool Int))
(declare-const v20 Bool)
(declare-const r9 Real)
(declare-const r10 Real)
(declare-const arr--7066024411894168759_-6820387004893886517-5 (Array Bool Int))
(assert (! (= (- 4.0 4.0) 4.0 (to_real i1) (+ (- 4.0 4.0) 4.0 (- r0 (- 4.0 4.0) (- 4.0 4.0) 4.0)) (/ (+ (- 4.0 4.0) 4.0 (- r0 (- 4.0 4.0) (- 4.0 4.0) 4.0)) (- 4.0 4.0))) :named IP_19))
(assert (! (xor (>= i7 i4) (= v18 v20 v7 v8 v11) v16 (= 743 i1) (<= r9 r10 (to_real i8)) (is_int (to_real i8)) (distinct (store arr--7066024411894168759_-6820387004893886517-0 v18 47) arr--7066024411894168759_-6820387004893886517-5 arr--7066024411894168759_-6820387004893886517-0 (store (store arr--7066024411894168759_-6820387004893886517-0 v18 47) v9 7)) v6) :named IP_21))

